そこは最初のアクセスでレイジーに評価されるはず (edited)