Notice the redundancy in the left example.