destructive interference between category theory and grokking normies