It is trying when mathematicians declare condescendingly that there is no point doing things because their models tell them so. Well maybe some of the assumptions don't hold up. How did that work out for the no additional risk from large events and no point in border controls...
Oh for crying out loud. I don't know anyone who thinks we can get R below 0.9 with this new variant. It's 22 virus generations to even get from 50,000 cases to 5,000 at R=0.9 - that's 4 months. TTI is a complete fantasy right now: spend the money on the vaccine rollout. https://t.co/MyeBt8tC1w
— Oliver Johnson (@BristOliver) January 3, 2021
More from Maths
OK, I may be guilty of a DoS attack attempt on mathematicians' brains here, so lest anyone waste too much precious brain time decoding this deliberately cryptic statement, let me do it for you. •1/15
First, as some asked, it is to be parenthesized as: “∀x.∀y.((∀z.((z∈x) ⇒ (((∀t.((t∈x) ⇒ ((t∈z) ⇒ (t∈y))))) ⇒ (z∈y)))) ⇒ (∀z.((z∈x) ⇒ (z∈y))))” (the convention is that ‘⇒’ is right-associative: “P⇒Q⇒R” means “P⇒(Q⇒R)”), but this doesn't clarify much. •2/15
Maybe we can make it a tad less abstruse by using guarded quantifiers (“∀u∈x.(…)” stands for “∀u.((u∈x)⇒(…))”): it is then “∀x.∀y.((∀z∈x.(((∀t∈x.((t∈z) ⇒ (t∈y)))) ⇒ (z∈y))) ⇒ (∀z∈x.(z∈y)))”. •3/15
Maybe a tad clearer again by writing “P(u)” for “u∈y” and leaving out the quantifier on y, viꝫ: “∀x.((∀z∈x.(((∀t∈x.((t∈z) ⇒ P(t)))) ⇒ P(z))) ⇒ (∀z∈x.P(z)))” [✯]. Now it appears as an induction principle: namely, … •4/15
… “in order to prove P(z) for all z∈x, we can assume, when proving P(z), that P(t) is already known for all t∈z∩x” (n.b.: “(∀z.(Q(z)⇒P(z)))⇒(∀z.P(z))” can be read “in order to prove P(z) for all z, we can assume Q(z) known when proving P(z)”). •5/15
\u2200x.\u2200y.((\u2200z.((z\u2208x) \u21d2 ((\u2200t.((t\u2208x) \u21d2 (t\u2208z) \u21d2 (t\u2208y)))) \u21d2 (z\u2208y))) \u21d2 (\u2200z.((z\u2208x) \u21d2 (z\u2208y))))
— Gro-Tsen (@gro_tsen) February 12, 2021
First, as some asked, it is to be parenthesized as: “∀x.∀y.((∀z.((z∈x) ⇒ (((∀t.((t∈x) ⇒ ((t∈z) ⇒ (t∈y))))) ⇒ (z∈y)))) ⇒ (∀z.((z∈x) ⇒ (z∈y))))” (the convention is that ‘⇒’ is right-associative: “P⇒Q⇒R” means “P⇒(Q⇒R)”), but this doesn't clarify much. •2/15
Maybe we can make it a tad less abstruse by using guarded quantifiers (“∀u∈x.(…)” stands for “∀u.((u∈x)⇒(…))”): it is then “∀x.∀y.((∀z∈x.(((∀t∈x.((t∈z) ⇒ (t∈y)))) ⇒ (z∈y))) ⇒ (∀z∈x.(z∈y)))”. •3/15
Maybe a tad clearer again by writing “P(u)” for “u∈y” and leaving out the quantifier on y, viꝫ: “∀x.((∀z∈x.(((∀t∈x.((t∈z) ⇒ P(t)))) ⇒ P(z))) ⇒ (∀z∈x.P(z)))” [✯]. Now it appears as an induction principle: namely, … •4/15
… “in order to prove P(z) for all z∈x, we can assume, when proving P(z), that P(t) is already known for all t∈z∩x” (n.b.: “(∀z.(Q(z)⇒P(z)))⇒(∀z.P(z))” can be read “in order to prove P(z) for all z, we can assume Q(z) known when proving P(z)”). •5/15
You May Also Like
Speech Delay is most common in children nowadays
In ancient times, our grandparents used to follow typical natural way of caring the needs of a child. All they used were more of natural products than chemical based for the growth of child.
One of major step followed was to feed Gurbach Jadd/ Vasa Kommu/ Acorus Calamus for initiating good speech ability in a child. This stem was needed to babies on Tuesdays and Sundays in mother's milk.
Vasa is feed to baby after the 1st bath on 12th day in week. Weekly only thrice it is fed and named as :
Budhwar - Budhi Vasa
Mangalwar - Vaak Vasa
Ravi Vaar - Aayush Vasa
This stem is burnt and rubbed against the grinding stone in mother's milk or warm water to get a paste
The procedure to make it is in the link
https://t.co/uo4sGp7mUm
It should not be given daily to the child. Other main benefits are
1. It clears the phlegm in child's throat caused due to continuous milk intake. It clears the tracts and breathing is effortless.
2. Digestion
For children who haven't got their speech and is delayed than usual should feed this vasa on these days in week atleast for 6months. Don't get carried away with this dialogue
"Some gain speech little late"
In ancient times, our grandparents used to follow typical natural way of caring the needs of a child. All they used were more of natural products than chemical based for the growth of child.

One of major step followed was to feed Gurbach Jadd/ Vasa Kommu/ Acorus Calamus for initiating good speech ability in a child. This stem was needed to babies on Tuesdays and Sundays in mother's milk.
Vasa is feed to baby after the 1st bath on 12th day in week. Weekly only thrice it is fed and named as :
Budhwar - Budhi Vasa
Mangalwar - Vaak Vasa
Ravi Vaar - Aayush Vasa
This stem is burnt and rubbed against the grinding stone in mother's milk or warm water to get a paste

The procedure to make it is in the link
https://t.co/uo4sGp7mUm
It should not be given daily to the child. Other main benefits are
1. It clears the phlegm in child's throat caused due to continuous milk intake. It clears the tracts and breathing is effortless.
2. Digestion
For children who haven't got their speech and is delayed than usual should feed this vasa on these days in week atleast for 6months. Don't get carried away with this dialogue
"Some gain speech little late"