models/premium_effective_state library