Before verification

Commentary – 5.3.1

Overview

Commentary – 13.3

Testing

Commentary – 13.4