Now an officer of the order of Australia, so when she says "let x = ...", you have to agree. Makes proofs easier. twitter.com/nomad_penguin/…