SMS versenden: Parameterised linearizability