Semantic Tableaux_0.excalidraw