 So it still looks as though the compatibilist is in trouble. For it seems plausible to suppose that there is nothing that we are able to do that might make it the case that either \(H\) or \(L\) is false. And it seems plausible to suppose that we have no choice about whether \((H \amp L)\). We need to dig deeper to criticize the argument.