* and \*/ explained in S2, and work on 3.1 & 3.2