math-structure draft