answer(le_equal_string).