@klara alas no, or I might find it more interesting ;)

@klara wait if you classify girls by whether you call them slave, pet, or toy is that nominal subtyping

@lambdagrrl I mean, it could be, if they're wholly defined by their place in that hierarchy of labels, but on the other hand they might be {slaves,pets,toys} entirely in the sense that those terms describe qualities they already had, in which case it's more structural subtyping.

I'd get the girls in question to each write a subsection about their particulars before attempting any mechanized metakink. And definitely I'd get them to take care of all the LaTeX figures for me.

@klara ACM SIGKINK be a thing now plz