Martens examples added