don't even know why these are aliased but it doesn't make sense.
Basically a gif is a looping image, animated is something that has multiple frames of an image in general, if I am not mistaken.
So that's saying an animated image will always be a gif, so post #21076 is a gif, which is certainly not the case.
It should be an implication from gif to animated instead.
Updated