User: nor-and-or-not