proving bootstrap