+ exception handling
+ URI identification of postulates and categories