Skeleton for OR proofs, case #1