progress
added annotations to synthetically created methods