proof wih sloppy borderproof wo sloppy border