[logic-ml] quantum logic is undecidable !