Definitions and bibliography done