a little more proof work