Talk:Kadison–Kastler metric