DxE Diestel Judgment