implementation compliance proof