2235599 Was Tom coherent? CK 1 713036 The argument is rigorous and coherent but ultimately unconvincing. darinmex