formal requirement