The Logical Project Quartet