linearizable

not defined yet