EIFF proof 2