The object Naive is a symbol.
The source of this document is in TestIdeals/frobeniusPowersDoc.m2:148:0.