`... to be authenticated`: Semicolon or Dot.