Methods attach behavior to types

Pointer receiver (c *Counter) can modify state. Value receiver returns a copy — fine for read-only accessors.

Quirk: Go automatically takes address for c.Inc() even when c is a value — but not in all cases (interface satisfaction can bite).