esdc                    Eliminating strictly dominated choices
type                    Finding types that express common belief in
                        rationality for optimal choices
