Basic from Human Proof Designs