Title: a preface to logic