s Hl a : c=>