Title: Groundwork of logic