PETROV DAY MARKETS:
/IsaacKing/will-i-press-the-petrov-day-button /MartinRandall/will-lesswrong-change-their-petrov