So Greater Oklahoma City Area Rapid Transit is a go then!