BTW
	• Show that Q-notation is an equivalence relation.  Formal proofs not necessary. • Contemplate putting functions into up-trees based on Q-notation (but not for too long…)