How would I explain how I arrived at the following EF in words?