+++
title = "Another possible solution making assumptions about predicates"
date = "2022-07-20"
author = "Yann Herklotz"
tags = []
categories = []
backlinks = ["3c3g6"]
forwardlinks = []
zettelid = "3c3g7"
+++

The main problem is the intractability of having predicated
set-predicate operations, as well as the exit commands. This is because
they both make the global predicate much larger meaning the expressions
grow exponentially with it. When one has an exit command, one will have
to exit from the block, meaning one needs to predicate all the remaining
expressions with the negation of the exit predicate.