mathematicians sure do love a good "such that"