Well-Structured Mathematical Logic door