New: proof-based