Title: An outline of logic