2019 IAS October 22 Ayla Proofs