If [math]H[/math] denotes the halting problem then does exist language [math]L[/math] so that [math]L^C\bigcap H[/math] is decidable? If yes then what is the smallest possible language that holds this condition?