FormalizEonAlCondixtor