Same comments for `!`