Index.php is an include file now (but demo later)