The rule is to build everything such that there is either 0, 1, or infinite of anything