auto closure が遅延評価を意味して短絡評価と対応するの面白い