[ozy]

Note most gettier cases are plays on our intuitions:

What feels like a pointer is actually a category. That is, it feels like it points to one, but it points to many. Like both examples given here: https://en.wikipedia.org/wiki/Gettier_problem .

[hopler]

For the C heads, you mean what feels like a pointer is actually an array? :-)