ฉันพบว่าตัวเองมักต้องการอ้างถึงสมมติฐานตามประเภทมากกว่าตามชื่อ โดยเฉพาะอย่างยิ่งในการพิสูจน์ที่มีการผกผันกฎความหมาย กล่าวคือ กฎที่มีหลายกรณีซึ่งแต่ละกรณีอาจมีเหตุการณ์ก่อนหน้าได้หลายกรณี ฉันรู้วิธีการทำเช่นนี้กับ match goal with ......