Es útil pensar la relación binaria formula_33 como una relación de "posibilidad", porque la misma captura en que mundos o estados es que el agente "i" considera que son posibles.