Symbol: is_logical_and