R Romsek Senior Member Joined Nov 16, 2013 Messages 1,361 Dec 25, 2020 #2 The proof in complexity theory was news to me. Thanks!