Title: Outlines of logic