Sobre abstracciones de código