proof-or-not-maybe