Text this: Foundations of the Formal Sciences II :