Search Input
Extensional Definition
