corollarized runiq_singleton_rel
Merge branch 'master' of https://github.com/formare/auctions
three proof steps recalculated because not working
reverted my changes
Maskin