Pošljite SMS: Parameterised linearizability