daniel:more formal categories
daniel