Add argument verification