Hard ideas