＜ recover　　top ∧　　next ＞　　∧ home