"All state types related to a program inherit the program's effective preference vote, O." . . . .