\::-subst is a special case of subst-cong