In reply to Re^2: Outputting input prompt with prove by Anonymous Monk in thread Outputting input prompt with prove by nysus