See: ProveIt.