Argument specification