Complete first impl. of exp. diff checking