added marcotte-seymour result