Up next
Build from here
Decide whether a conjecture is true or false
Determine the truth value of a conditional