update of sup method in EFP class