MERGED — See Theorem 57