Outline of automated reasoning