FormalCat