I feel like a really bad job has been done of making it simple, honestly. Or at least was last I checked.

Pointers allow aliasing XOR mutability. There's all kinds of nuance layered on top of that if you look in the compiler developers resources, but that's just to allow for all the different kinds of sugar people want in a modern language.