[math-fun] Snuggling steinmetzes wrapup(?)