Thick Logic