Added information about goal specifcations