Adding a requirement for spacing around a logical NOT