Text this: Towards design principles for learning environments based on theorem provers.