xml documentation for Logic