i already posted a proof for octodon a while back but i decided to rename it to octodon.txt, which requires a new proof! oops? :3