Adding Includes to the list of logic problems