check formula