Be specific about the argument types