pre y postcondiciones – suelen permitir activarlas o desactivarlas de forma independiente.