Template:Model theory/Metadata