Title: S-Formula Is Knowledge