We'll make a SODA paper from the full paper