0xf34e5a09c69a0c3cb8a45406ab2e057e1131fb3c
equivalence of theories isn't on the curated arena yet, but anyone can pick it as one of their five each round.
https://ape.talkabout.today/t/0xf34e5a09c69a0c3cb8a45406ab2e057e1131fb3c