∧ back ∼ next ∨