```ocaml
# let empty = 0;;
val empty : int = 0

# let satisfies_identity_law = 10 + empty = 10;;
val satisfies_identity_law : bool = true

# let satisfies_associative_law = 1 + (2 + 3) = (1 + 2) + 3;;
val satisfies_associative_law : bool = true
```