first attempts at proof