logic_prevails