Wida^c S { & lt;