Retraction Rule created separately.