Nolan/Mitchell proofs