Bauerstein's evidence.
Their proof.