put this comment as the message for checkSmaller?