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/BenQ-MOBIUZ-EX2710U-27-4K-UHD-3840-x-2160-144-Hz-Gaming-Monitor-1ms-HDMI-DisplayPort-Built-in-Speakers/