deal with proof checking, and not sure to separate comprehension out of beta or not