maths HyperText Programming Scripture Theory