[Checkers] Greetings

[Mahmood Ali]

Greetings Phokham,

I wanted to thank you again for notifying us about your work with the  
Framework.  I am happy to see framework to be extended to support  
ownership types and other types that we did not work on yet.

Unfortunately, that also means that I do not have much experience with  
your specific domain problems/challenges, but I hope to learn from  
your experience.

Feel free to contact us with your feedback.  Please point us to your  
code once it is made available online.

Regards,
Mahmood