## Internal Composition law
$$