ABH3PO on Nostr: You cant define an assertion and use results to prove the assertion.You cant define an assertion and use results to prove the assertion.