Thanks Max. I am hoping this will be a good high-level course for those just getting exposed to verification, or who have a verification group that they have to look after and want to find out why they expect everything to take so long!