Outline of logic