Default Rules: Theoretical Foundations