discussion:sa:mathesis_universalis