行きがかり上の議論にはまりこんで、朝になってしまいました。