if (A&B) then C