Added potential-point-free rule