adding auxilary definitions