Removed redundancies after decomposition