now have a skeleton for proofs