Search Input
Inductive Loop
