And so, this again tells us that subtype(gerbil, gerbil), with the following proof: ──────────────── S-Refl ──────────────── S-Refl Gerbil <: Gerbil Gerbil <: Gerbil ────────────────────────────────────────── S-Trans Gerbil <: Gerbil Can we generate any more results?
──────────────── S-Refl ──────────────── S-Refl Gerbil <: Gerbil Gerbil <: Gerbil ────────────────────────────────────────── S-Trans Gerbil <: Gerbil 3.