[logic-ml] Louis de Broglie