no need for checking uniquness of expressions now