(MESS) cons <--> comp