Types_Tableaus_and_Goedels_God.IHOML_Examples