for all     do
 remove
end for
for all     do
if     then
else
end if
end for
Algorithm 1: Contraction by belief .