To secure terseness in the premisses, we are obliged to lengthen out the brief terms of the conclusion, virgo est.