Symbol: have_input