Rohin Shah comments on Explaining grokking through circuit efficiency