Talk:Wall's finiteness obstruction