While the nodes & wires approach we used in Crosscut feels “like drawing” in a limited sense, it also feels somewhat frustrating to have to construct basic mathematical formulae using elaborate diagrams. Our formula editor functioned well enough to allow us to construct a few compelling demos where formulae and constraints interacted pleasingly. For phase 3, we plan to figure out some sort of temporary “designer pink” alternative input method for formulae, so that we can focus on the semantics of the system and how formulae will participate in that.