Is a solution to the system and ?