RECAP: [S] ==>