Another edf example