Without shared criteria, we cannot derive HP2 cases from HP1 cases systematically, breaking the logi...
This proposition has not been edited since the history system was added.