That is, if there’s a bug in Robocop’s source code that in practice will cause it to never actually load its weapon, but the bug is subtle enough that even an evil mastermind won’t notice it based on an evaluation of the source code, then the evil mastermind is deterred “subjunctively” while the regular hoodlum is altogether unaffected (though the evil mastermind presumably quickly updates on the existence of non-bullet-riddled criminals).
If all the city’s criminals are evil masterminds, OTOH, they are all deterred.
And possibly without being able to shoot anybody.
That is, if there’s a bug in Robocop’s source code that in practice will cause it to never actually load its weapon, but the bug is subtle enough that even an evil mastermind won’t notice it based on an evaluation of the source code, then the evil mastermind is deterred “subjunctively” while the regular hoodlum is altogether unaffected (though the evil mastermind presumably quickly updates on the existence of non-bullet-riddled criminals).
If all the city’s criminals are evil masterminds, OTOH, they are all deterred.