declare with positiveness

Mentioned in ?