refine formula check