ZoeVat: ERef<ZoeVat>