Talk:Rice's formula