RS#12: introducing full and simple versions
RS#12: link to full version added
RS#12: adjusting slides