The button will add this page to my log of things to fix. Use it for broken links, equations not rendering correctly, etc. Submit other issues on GitHub.
Simon's Problem
Input
Black box for has the following property: if and only if
with if is
or a unique if