Simplify constraint for NoLoggingT #48