Use `n()` for `NVal` and `pos_integer()` for NumPartitions.