How can you exploit tautology/wang and the deduction theorem when someone asks you "Can you prove that Q can be inferred from P?"