Final version with erased redundancy.