It is used as a guide for action, among other things. It operates independently from the play of models.
It is used to get axioms, among other things.