at s \ al(