shouldn't he prove it first?