Thanks a lot for this quick summary. Computer science can be such a semantic jungle.