formeel criterium