What does Miranda provide