package gve.calc.logic; import gve.calc.formula.Part; public class ProofInvalidException extends Exception {