Proof Through Abstraction? Hellenize Everything!