-[[s-paracompact]]
-[[S-paracompact]]