dom s^1 ) a.