Text this: From physical model to proof for understanding via DGS