3 ms·Thank Richard Borcherds (R.E.B.) for a lot of that.by Cobord 8y agoThank Richard Borcherds (R.E.B.) for a lot of that.