New demo: unimath4 (WIP)