proof of, etc
more fixes