Also I make use of the definition symbol "≡" to define features. Simplest situation is file(x) ≡ y. I am using it to point out a connection to uncover sums rather than stating it as being the sum that we are deriving nonetheless it can be employed to condition equivalence. https://miloyapeo.bluxeblog.com/68477887/the-basic-principles-of-por-qué-es-bueno-leer-el-tarot