On Tue, 22 Oct 2019, John Cotton Ericson wrote: > Echoing Keith's point, "semi" to me means a weaker algebra; i.e. a > super-class. Foldable => Semifoldable is thus totally wrong, > "Semifoldable" is the sub-class. me too