 The dynamic version of  (6)  is  (7),  which yields the correct truth conditions: any random reset of \(x\) and \(y\) such that \(x\) is a farmer and \(y\) is a donkey owned by \(x\) is also such that \(x\) beats \(y\).