 A decoration of a graph \(G\) is a function \(f\) with the property that \(f(x) = \{f(y) \mid yGx\}\) for all \(x\) in the field of \(G\). In ZFC, all well-founded relations have unique decorations, and non-well-founded relations have no decorations. Aczel proposed his Anti-Foundation Axiom: every set graph has a unique decoration. Maurice Boffa considered a stronger axiom: every partial, injective decoration of an extensional set graph \(G\) whose domain contains the \(G\)-preimages of all its elements can be extended to an injective decoration of all of \(G\).