So this is a proof that the Walter Trump packing is the optimal packing?