proper strict tail for One