Simplify writing assumptions. Conditions were just an insufficient way of writing normal control structures