New: qproofs