testing proof of 22c