формулирует