nest proofs under requirements, passing specs