His habitual acts William Lawrence Sr Cryptowit Blaise Pascal 9-16-20