формулируется