for t being t-conorm holds t <= drastic_conorm