>>328
> nonzero が trueでない根拠も無いが、一方で、trueである根拠も無い。
trueであるのには「true → nonzero」と言う立派な根拠があるのですが?