Added some comments about the need to explicitely synthesize some properties