nothing violates this