Thanks a lot - this thing is great! https://ncatlab.org/nlab/show/Gravity+and+Grace