skeleton for NOT proofs