It does not matter: as long as a method was available to that would have satisfied Nozick's third condition, the construction allows us to find a conjunction and that 'knows' as far as Nozick's first three conditions are concerned.