#6 redo of isSatisfied, isSatisfiable, isValid. Added new helper methods isSatisfiedProp, isSatisfiedInWorldCollection, isSatisfiedInAllWorldCollection, futureWorlds. Changed previousAndCurrentWorlds -> previousWorlds
#6 added a quick comment on the logic behind isSatisfiedProp
fixed merge conflicts