For stuff from the specialization