`! empty(` -> `!empty(`