Add forgotten composition law