¿Qué es?

Describe cosas que una función hace además de su output primario. Esto deja explícito todo en la firma de la función