Up next
Build from here
Determine the truth values of related conditionals
Decide whether a conjecture is true or false