fix proof output
some stuff working