Mathstemple work in progress
...