Putting the Logical Hat On