presented at event 19th Annual Conference for the Consortium for Orders in Algebra and Logic Conference