Finished some notation