Investigating Root Details In schmoop