translating asserted