Added a 'to be defined' assertion
4.1.6