BagianCategory: FORMAL