Redundances removed.