Semantic_tableaux loading ...