Proof docs are the real mvps!

by Libbie Bischoff