AA1.6.1 Simple deductive proof_b

Show Buttons
Hide Buttons
Call Now Button