removed redundant paradox solving