Talk:Proximity operator