Current employees are not subject to the prohibition, but they already pay a higher premium on their health-care benefits if they are tobacco users and are not participating in free antitobacco programs offered by the system.