Fix the conditions to unambiguously show the logic they represent. This is the