Rename GoodLib.py to ListDeduction.py