let is_atomic = SUBST.is_atomic