Checking if there is a true case