more lambda inversion work, slightly confused but making progress