A Proofs from Section 2 448 Algorithm 4: Output ˆ α null G1 (1 η