I see the first HEXUSDC trade was May 10, 2020 for 0.004. Has anyone done the calculation if the initial HEX sacrifice gave a sufficient amount of HEX to be under, equal with,...