“role token” is another name for Color role.