Started to complete basis proof, p=2, 0 a branch point