"deos"@ast . .