combined with aejones theorem makes perfect sense.