Deakstadieđáhus: Choice-free rationality