Add documentation for has_no functions