Update EF.py