some work with verbmathphys