Added some more proof commands.