Title: the development of logic