Describir: Input and output in distributive theory.