Which is not known to hold for quantum logic systems as far as we know.

Regardless, the classic part is highly intractable already.