Checking a d:d<-c<-b<-a