formal check