{if true then YES else NO} -> YES {if false then YES else NO} -> NO