updating the EFK article a bit