User blog comment:P進大好きbot/Proposal to Choose an Official Standard OCF in This Wiki/@comment-37212455-20191218225919/@comment-35470197-20191221232649

Then how do you differentiate Rathjen's OCF based on M and Rathjen's OCF based on K?