Value distribution theory