added some formal goals