Final version (comments and export included)