[ben_w]

Hmm. I believe the two trade examples are testable (and as claims, the former false and the latter true).

The other two I will grant you, and I thank you for providing them.