Candidates for ho-rewriting

Delete All Candidates