Separable Overdetermined Nonlinear Systems by Greg Lukeman