Further work in pos_is_ok()