\mbox{output}\in S