a test exists for non-thenability