A small post-office puzzle with one rule: push a tray and it adds to both rows at once; matching envelope-and-stamp pairs go in the mailbox, and a mismatch comes back stamped RETURN. Mr. Post is named for the logician Emil Post, and every stage is an instance of his Correspondence Problem — undecidable in general, which makes each tidy solved stage feel slightly smug.