1. He was “aglow with the spirit,” and was “teaching with correctness the things about Jesus.”

Ông “có lòng rất sốt-sắng” và “giảng và dạy kỹ-càng những điều về Đức Chúa Jêsus”.

2. In contrast, there is increasing interest in producing proofs of correctness of such systems by automated means.

Ngược lại, ngày càng có nhiều quan tâm đến các chứng minh về tính đúng đắn của hệ thống bằng các phương tiện tự động.

3. “As he was aglow with the spirit,” says the Acts account, “he went speaking and teaching with correctness the things about Jesus, but being acquainted with only the baptism of John.”

Sách Công-vụ tường thuật: “Người... lấy lòng rất sốt-sắng mà giảng và dạy kỹ-càng những điều về Đức Chúa Jêsus, dẫu người chỉ biết phép báp-têm của Giăng mà thôi”.

4. This man had been orally instructed in the way of Jehovah and, as he was aglow with the spirit, he went speaking and teaching with correctness the things about Jesus, but being acquainted with only the baptism of John.

Người đã học đạo Chúa; nên lấy lòng rất sốt-sắng mà giảng và dạy kĩ-càng những đều về Đức Chúa Jêsus, dẫu người chỉ biết phép báp-têm của Giăng mà thôi.