shouldn't the line 'This confirmed that ISNULL function is type casting @a into @b-2 returning a string equal to the length of variable @a'

be

'This...