More thoughts on storing resolution rules