S = pre-knowledge ()