> with admirable tunnel vision, bullheadedness and mission for maximally general algebraic and arbitrary constraint type systems.