linearizable