Title: Antonii Walæi ... opera omnia