#logic #code precondition #programming #condition true #assertion #antecedent #requires