Sure - so what do you do if there are conditionals? In the full generality of the language, it will be hard to offer an experience to the "recipient" of the transaction that is not confusing.