@christianp@mathstodon.xyz This seems to happen always when n in a(n) (even if the diff matches n).