more startx proofs