Added skeleton for OR proofs, case #1