proposition: all cats are kittens.
+ we know that kittens are baby cats, and vice versa.
+ we also know that all cats are baby.
--> therefore, all cats are baby cats.
--> as a necessity, we arrive at the statement to be demonstrated: that all cats, being baby, are kittens.
Plural Café is a community for plural systems and plural-friendly singlets alike, that hopes to foster a safe place for finding and interacting with other systems in the Mastodon fediverse.