(no-message-too-lazy)