0[[A]]