Document canonifyuniquely()