Work in progress on modifying includes resolution