Add drinker paradox.
Refactor code.