この文脈で「漏れのある抽象化」という言葉がでてくるのはなるほどな