NoMakeT: no proofs, priority proof