I am confused why these are actually equal. In the case where the forward solution is forced to be fixed, wouldn't that have to make a fixed-orientation inverse?