Supreme Checking