goal reduction case