Stav dette: A guide to redundancy law