work out comprehension, paradoxes, antinomies, ...