arobutnotace:Some aro-spec positivity