Additional models given extension properties