Can one be typed correctly by Reinin dichotomies alone?

Printable View