Pošalji SMS: Argumente für eine Typenidentität von Eigenschaften