Well, we were using it to talk about things like cache invalidation and lax memory models rather than properties of algorithms.