@lowrankjack@mathstodon.xyz ah missed that last night - thanks