Samuel - initial proofs