In and around the consequential detection of paradoxes