finished equality checkpoint