some trivial horizontal composition