Chris called to say they'd arrived safely.
The specifications are safety assumptions which, roughly speaking, state that the abstract operations safely simulate the corresponding concrete ones.
However, they may be safely ignored by readers unfamiliar with the language, as other material does not depend on these details.
We can safely say, however, that this volume expresses deep interest in, and an urgent need for, reflection on critique that focuses on moral issues.