Postconditions, macroactions, and beginning of new strategy