Simplify pos_is_ok()