more on CriticMarkup