180515 shain schcwadran proofs