Algorithms and Arguments: The Foundational Role of the ATAI-question