We did have some discussion with them about that, but in the end the Foldit players were included.

关于这点我们和他们讨论过，但是最终这些游戏玩家还是包含在内。