(lang dune 1.6)
(name equations)
