document use of `Check` for universe parameters