formal condition