[math-fun] DGF --> OGF?