Nonstandard Eliminators for Products, Sums, etc