[kisoron-ml] quantum logic is undecidable !