[kisoron-ml] Vopenka's principle