More in CBV dialectica.