the post rank clause sends relevant info to Ranks binaryInsert method which then preforms the logic of binary inserting the current b by updating relevant info.  I just need to actually implement binaryInsert and then I think the FJA section will be complete aside from updating locked etc...