1 (*Dummy theory to document dependencies *)
2
3 mono = QPair + Sum
3 mono = QPair + Sum + domrange
4