Formal interpretation