Type descriptions <-> Reinin dichotomies ?

Printable View