Lots of new definitions