How Cruel Angel's Thesis was discovered