Esto también es la "precondición más débil", en tanto en cuanto es la restricción "más débil" que hay aplicar al valor de "y" para que "x > 10" sea cierto tras la asignación.