i just peeped 4U CSSA wtf is 16d It’s not as bad as it looks if 16d is the phi thing, then, (i) is free (ii) normal but with inductive step you sub in (i) (iii) algebra and shit then take limit