quod erat faciendum: Which was to be done.

---