1. Yes another thing you surely must know from your vast knowledge of types is that some F's view rational arguments as clever rants. And then they wonder why NT's call them primitive. Never thought...