simplifying,preserving,interactively,programming