Podemos especificar este ejemplo mediante un pseudolenguje que describa la condición.