delete def negative, and made module negative.py