(-∞)=