Adds some preliminaries and terminology