Model tdx^