Fixed the lie - more examples are redundant