1 (*Dummy theory to document dependencies *)
2
3 simpdata = "func"
3 simpdata = "equalities" + "func"
4