See https://nonempty.org.