We study the computational complexity of the FO model checking problem on interval graphs. i. e. intersection graphs of intervals on the real line. https://www.bekindtopets.com/flash-find-Winmau-Firestorm-Steel-Tip-Darts-24gm-special-save/