Formula var is unevaluated while its terms are yet-to-be-defined. Fixes #1