I replaced the incorrect "in the sense of having fewer process
constructors" with a more vague statement, because it's not in general
true that Q has fewer process constructors.