Will Michael Porter Jr. score 9+ points against the Thunder?

This market refers to the Denver Nuggets NBA playoff game six versus the Oklahoma City Thunder, scheduled for May 15, 7:00 PM ET. This market will resolve to "Yes" if Michael Porter Jr. scores more than 8.5 points in his game against the Thunder. Otherwise, this market will resolve to "No". If this game is cancelled, postponed past May 21, or Michael Porter Jr. otherwise doesn't play in the game, this market will resolve to "No". The resolution source will be the NBA (https://www.nba.com).