Title: Cats and Logic