Deduplication

Conventionally, this line goes immediately after the class definition.