lapsibility linearizability sequenceability linearisability unfoldability learnability multiplexability losability loopiness listability