User blog comment:Emlightened/Sasquatch (Big Bigeddon)/@comment-1605058-20170327204644/@comment-27513631-20170327211056

K, thanks, and I've updated/clarified. In particular, I also explained what \(R\) was in terms of \(\in\) vs \(\bar\in\), as it was slightly ill-defined before.