Cubic without disequality on writes