＜ recover　　　　top ∧　　next ＞　　∧ home