>>643の主張はDataをDataFileに置き換えても再帰的に成り立つ
なぜなら、DataFileも本来関係ないはずのFileの変更に影響されるべき物ではないからだ。