Dicho formalmente: