from .proof import Proof