Finish off post and preconditions