lambda1@tg says to YSITD
you are also implicitly invoking de Morgan's law
at Mon, Mar 9, 2020 5:22 PM