Search Input
Reducibility