Theoretical motivation in the introduction and finished time complexity section