Merged satisfy and unsatisfy, tackled timeSuffix debacle, did minor IAN-TODOs