* z ; : ~S z ; : ~S ~S n.