sa:speech:book:formal_sciences