" re , 'stmiq