フォトパズルはDafnyによって追加されました。