Implement IHAVE.