let
transfer modif m =
if
modif
then
Modif
else
if
m =
Start
then
SameVal
else
m