Shutdown st 0 windows 10 command line. Codex inc careers remote. Decision theory economics examples. Promod models.