# HG changeset patch
# User blanchet
# Date 1391551878 -3600
# Node ID cc627ced387460e949adab8c6fcf129d8e730db0
# Parent  462ffd3b70651d3439792550955b18ef9b7824c2
don't give up on hopeless proof methods -- they can become hopeful again