Search Input
Successor Function
