TrE comments on Singularity the hard way