let find_superposition current_table s =
     (find_current current_table s).superposition