@ids1024@mathstodon.xyz @dan@discuss.systems It's hard to get tenure. Sounds like he's on the track!