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.roneverhart.com/Roland-Blues-Cube-Stage-1x12-60-Watt-Combo-Amp-p24291/