Title: Mathematical machines