Supporting minsafe resolves