Formula validation