adding finite assert to donorcell formulae