removed redundant internal constraints