Analitical Abstraction