4. Mathematics as an Addiction: Following Logic to the End