Achievability for the BSC