Search Input
Formal Language
