Types_Tableaus_and_Goedels_God.FittingProof