Joint distribution function