for t being t-norm holds drastic_norm <= t