17. Jerusalem Bible, Jude 1:4; cf. Anderson, Guide, chap. 24.