proof
more proof
proof
remove duplication
move
cut down
expand
reformat markdown
proof
proof
proof again
reformat markdown