Assuming Holton