People Categories: Formal Methods