new feature: interactive proof text