`arg0`? Could we better use proper names?