This paper develops a formal approach to evaluating freedom in interactive settings based on the literatures on preference for flexibility and measurement of diversity. The approach posits that freedom has an instrumental component -- grounded in preferences -- and an intrinsic component. The...