auht

Results 2 issues of auht

### 2025-02-26 TODO: - [x] Add spaces like a civilized person - [x] Check intersections for WFedness - [x] Remove assumption that only the first argument needs disjointness - [x]...