Thanks for this amazing GA! Proofs just sent.