Theory of Fixed Points of Mappings - Ontify