"contradix+i" . . . "contradixi" . . "contradixi" . . . . .