fix proof