Defining a Schema for Non-Negative Integers - Effect Community