@ar1 is defined