let pof_depth = succ future_depth