unify alpha version ok, eliminate rule needs revision