Strengthen a Weak Rule Application