Renamed unverified rules