Superbasic inverse-checking exists