Comments for the simplifier