That was fast.
>>944213501Fuck off spammer faggot loser(Teehee jk it's me)
>>944213587Proof?
>>944213822they're usually arguments, not proofsproofs rarely exist in reality
>>944213839So no proof...
>>944213880exactly, an argument of existencebut your understanding of proofs is incorrect
one more iteration of soundness amp should be enough