Mathfuzzlog/Extensions