Talk:DeWitt notation