for no s do we have s belonging to s