Mapping/Composition/Associativity/Fact/Proof/Exercise