rewrote permLeftFn to be correct, though possibly not amenable to proof