At this stage of domain modeling, we’ve explored:

entities vs value objects

invariants

state machines

aggregates