Text this: Saṅkshipta śāstra sāra.