minus sign in conditional distribution