public IEnumerable<PurchasedProperty> getAllPurchases() { return from purchase in nameToPurchasedAttribute.Values where purchase.PurchasedLevels != 0 select purchase; }