Assuming we disregard ownership of multiple accounts, the consequent of your conditional is impossible.
It is easy to see why DevilWorm wouldn’t disregard ownership of multiple accounts as a possibility.
It is easy to see why DevilWorm wouldn’t disregard ownership of multiple accounts as a possibility.