What do we mean by a variety being arithmetically Cohen-Macaulay? Is every such variety also Gorenstein?