Prove ((p ? q) ? p ? q) is a tautology using logical equivalences (laws). Identify the logical equivalence(s) used in each step.