simplifying AValue