Differentiated between Outcome and Prereq, both of which now inherit from PartialState.