proof-like condition