Did you know that the Stanhope Demonstrator was the first machine to solve problems in logic?