Fixed Fredkin.