Simple English account of JML1148: my main account is at https://en.wiki.x.io/wiki/User:JML1148