negations
tconorms
tnorms
