JWS: translated appendix A.4