As such, it includes things not deemed necessary by the original .NET languages: VB, C# ... explains the meaning of “verifiable”, The difference between type-safe code and verifiable code ...