Because F is isomorphic to M|Σ for any minimal model M of FD, and M|Σ and M share the same universe, we can use F's (finite) universe to define the constants that we require.
for each element a of the universe of F that is not denoted by an atomic value we introduce a constant a a .