I think that the first operator is actually not necessary since it will not produce distinct solutions that cannot be achieved by other permutations.
_________________________
There are two types of vessels, submarines and targets.