I removed "complained".

I agree that actually recoding it to demonstrate such persistence is a waste of time; far simpler is to not make such over-reaching claims.

Point taken. As I tried to explain somewhere, it was all the properties that I thought of at the moment, with the implicit assertion that the rest of the properties could be demonstrated as required.