Oh, so it's actually a carefully curated limited list? Because otherwise the combinatorial explosion would make this unmanageable super fast.