Ascent++ | introduction

Assertion list

introduction (primary) → IsA

Results from Ascent++: 3

introduction → IsA → the beginning	0.37
introduction → IsA → broad beginning of the paper	0.31
introduction → IsA → the most necessary section	0.19