Describir: Argumente für eine Typenidentität von Eigenschaften