Theorem. Barr's theorem [KGRZ]