got some stuffs working and such, i.e. the whole checkreflexiveness