And they are all three implemented in the ```LogoutManagerImpl``` with very few lines of code, aren't they ?