ID	Type	Status	Priority	Milestone	Owner		Summary + Labels	...
	2	Enhancement	Accepted	Low	----	holism		extend "semantic" predicates
	3	Enhancement	Accepted	Low	----	holism		add integration of maxima's non-zero detection, see how good it is
	4	Enhancement	Accepted	Low	----	holism		smarter factor-if function for maxima
	5	Enhancement	Accepted	Low	----	holism		explore maxima simplification routines
	6	Enhancement	Accepted	Low	----	holism		Boolean simplification testing & extension
	7	Enhancement	Accepted	Low	----	holism		random sampling of trees