Tyranny : Platform = <
                       Open_source : 0
                     >

Freedom : Programs = <
                       Open_source : <
                                       'Text editor' <- 1
                                       'Spreadsheet' <- 1
                                       'Web server'  <- 1
                                       'Database'    <- 1
                                       ...
                                     >
                     >

Say <- Value # '0.00'
' Value - InvisibleMarketHand >Value< Tyranny Freedom

