removed a bad line about decidability in non-quantum case