Chris_Leong comments on Constructive Definitions

[Chris_Leong]

Thanks, glad you appreciate it!