Talk:Quantization commutes with reduction