But the problem there treats them as single entities. I can't imagine how needlessly complex a proof one way or the other would be with M number of angels and N number of devils.
Until I played one of the Carmen games from 1995 with Lynn Thigpen, and I found a note left behind from one of her agents, I didn't realize that Carmen pays her people too Lol