a^s-0 '1