Automated reasoning

Great article but it didn't have eevrythingI didn't find the kitchen sink!