$PROVE is proving like a lion