Levels of abstraction in logic and human action by Elliott Jaques, Roland O. Gibson