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://foldlyers.shop/product-category/dash-cd-dvd-mp3-players/