Text this: The role of logical interpretations in program development