Make the most out of ProveSource