Update moore-proposal.tex