Deakstadieđáhus: Parameterised linearizability