Add notion of size of messages, prove some basic results about size, ingredients, and components .