Candidates for htdp-image