You searched for formal system