6-Pack Reverse Math IPA