Use your browser's
Back Arrow Key
to return
inductive/deductive