passing charm proof, not that the charm isn't any better
[bcsaller] Fix charm proof.