operations either violate