More in dialectica doc: CBV.