Talk:Porteous formula