Searching map area
type of natural numbers
? TBD
metaclass of classifications of natural numbers