[logic-ml] Vopenka's principle