- At any given time, you can have either one mutable reference or any number of immutable references. - References must always be valid.