shorter versions