Alternative :induction work-around instead of repeating precondition as post.