nlev :: integer(2 .. infinity) ~ "1"