Looks like @that-math-dude hasn't received any replies!