proveit.logic