possible for future somewhere for this

t_test and f_test can use formulas now to construct the constraints.

(Note I'm reading top to bottom, so I might be writing something that turns out to be inappropriate later on.)