Testing Logic for Conditions