ToasterLightning comments on Designing Prediction Markets