oh I thought it's a joke that things are defined, or others are "immediate from" something else, while actually not. like how they love to teach this topic without explaining what is necessary