Eu quero uma linguagem que gramaticalmente exija cláusulas condicionais ao observador para todas as declarações, da mesma forma que você não pode optar por não conjugar verbos em inglês. Um <se você tiver a visão> X <então pode ser dito> Y <endif>, mas como uma estrutura gramatical como Y-<partícula>-X.