model theory code snippets in csharp