Checking Congruity (Try-and-Error)