simple_logical