Sea L : E → F