Great talk on why abstract mathematics is super important.