Logic is the foundation of all mathematical reasoning.
Every town has its ghosts, and every ghost has its story.