∀ does not imply ∃ :3

duh :>

if you find any typos or errors in this post, please pm me on zulip, discord or cohost