Rearrangements of the examples. Ta-Bot testings.