Just a quick handwavy idea: from falsity you can derive anything, so maybe in this context Falsum would be something that could be used to "prove" the validity

Just a quick handwavy idea: from falsity you can derive anything, so maybe in this context Falsum would be something that could be used to "prove" the validity of any transaction you want? That said, I'm not an ETH enthusiast and I don't know how you'd express this in that system or if their notion of proof is comparable to "proof" in logic.