I think we also have to consider that his pension, which was 90%, was 60%. People don't retire at their working wage. They get 60% of their working wage. Then he takes 90% of 60%, so now he has 54%. Then she takes 60% of 54%, so—who can do the math here?—that is 35%, and then take another cut of a third--
