Insertion eventually works with partial ranks, but I am not really sure
why.