removed duplicated "terminating game"