It's not clear to me why these specs go away. Are these examples now invalid?