Shared Memory Consistency From Scratch Part 1: Causality