Each of the following proofs is correct. Fill in the missing documentation, including the flagged variables (6) {1} 1. (Ex)Ax {2}