Consistent notation: kind, category, truth etc