Search Input
Modal Logic