Finding Your Ideal Spouse: A Guide to godlike Proving