Full threadpvdebbe·Does this mean that their size is unbound, or that none of the dinosaurs are of size sup(size)?View on HN