, : s s a t e [ | nat.