Optimization is unsafe for operator '!'