PR #86: Define isNeither