Emulations - Note No. 7

In other nomenclature this is referred to as idempotence.

aa = a

RETREAT