Hot: oneresolution