Title: An Outline of Logic