graphs for theory functions of each variable