evaluated = (abc,abc)