Martin Escardo with proper diacriticals