Cat logic.