InvisibleMarketHand : x : Float <- Platform, Programs
 Verdict <- PlatformValueCalculator SoftwareValueCalculator
;

Platform >>
 Open_source : Float
;

Programs >>
 Open_source : List : String <- Float
;