preparing for transform proof