List-decoding achievability.