he sounds a sinister wild fowl the list of names should be complete but other data may be incomplete in the superstructure approach to non standard analysis the non standard universes satisfy strong transitivity