Greed Specification