Title: Opera omnia in compendium redacta