v0.1.5: better unique definition.