Got theorem checker to work.