findmin refined