Corrected some reasoning glitches