Update neg23.py