I'm not going to comment on the rest of the examples files. They all seem to fit this.