Talk:B type inclusion