fixed some bugs with unsprayed reasoning