Hayden's solution to Pre, In, Post