a (Re @ s<