works for harder proof