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