New Proofs of Gaussian Extremal Inequalities With Applications | Synapse