* guide: more robust approval counting procedure * elaborate * redefine non-empty * improve writing * remove redundant