AA1.6.1 Simple deductive proof_WS

Show Buttons
Hide Buttons
Call Now Button