%% background knowledge

copy1([H|RestIn]/[H|RestOut],[H|RestIn]/RestOut).

skip1([_|RestIn]/Out,RestIn/Out).