associativity

→

it is raining -> it is cloudy -> earth has clouds -> earth has an atmosphere

→

commutative diagram

→