Removed redundant exists clause which is always true if other conditions are met