Title: Initiatives in Logic