> the claim is that you cannot have context-free universally true premises for every type discussion

Thankyou, this is exactly what I meant.