Added flexible proper categories