Models with tag: synthesis