20060212 removed: Stingy operators