added some useful relations