Saya sering kali ingin merujuk hipotesis berdasarkan jenisnya, bukan berdasarkan namanya; terutama dalam pembuktian dengan inversi aturan semantik, yaitu aturan dengan beberapa kasus yang masing-masing mungkin memiliki banyak anteseden. Saya tahu...