Why do we need to add these `!` all over? Is that some doxygen directive?