( s : E.