Unfinished proofs for client, not for publication(c) Kieran Dodds 2016