unique proofs/un-edited