Notes for SefSag