Once iterated AGM revision is formalized, the principle Bp → BBp can be captured by constraints on t...