An after-hours trading platform that is employed at the New York Mercantile Exchange (NYMEX). This electronic computerized after-hours trading system was…