Preempted problem with labeled-Mode1s