How does this variable having size >0 mean that its shape is completely known? Can't the shape be multi-dimensional, where we know some dimensions? For example, going by the previous python example, can't the shape be something like (2,0)? 